1. Belief Revision Meets Philosophy of Science
پدیدآورنده : \ Erik J. Olsson, Sebastian Enqvist, editors.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Science-- Philosophy.,Belief change.,علوم -- فلسفه,ت‍غ‍ی‍ی‍ر ب‍اور
رده :
Q
175
.
B45
2011
E-book
,
2. Dag Prawitz on Proofs and Meaning
پدیدآورنده : / Heinrich Wansing (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Dag Prawitz on proofs and meaning /
پدیدآورنده : Heinrich Wansing, editor
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.
رده :
BC71
4. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Modality (Logic)
5. Essays on Non-Classical Logic
پدیدآورنده : \ Editor Heinrich Wansing
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
6. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
7. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
8. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E83
9. Nonclassical Logics and Information Processing :
پدیدآورنده : edited by David Pearce, Heinrich Wansing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
10. Nonclassical logics and information processing : International Workshop, Berlin, November 9-10, 1990 : proceedings
پدیدآورنده : D. Pearce, H. Wansing )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
619
11. Proof Theory of Modal Logic
پدیدآورنده : edited by Heinrich Wansing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
12. Proof theory of N4-related paraconsistent logics /
پدیدآورنده : Norihiro Kamide, Heinrich Wansing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Inconsistency (Logic),Inconsistency (Logic)
13. <The> logic of information structures
پدیدآورنده : Heinrich Wansing
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Data structures
رده :
QA
76
.
9
.
W3
,
D35
14. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
15. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
16. <The> logic of information structures
پدیدآورنده : Heinrich Wansing
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Data structures
رده :
QA
76
.
9
.
W3
,
D35
17. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
18. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
19. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
20. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
